CDEG: Computerized Diagrammatic Euclidean Geometry 2.0
نویسنده
چکیده
This paper briefly describes CDEG 2.0, a computerized formal system for giving diagrammatic proofs in Euclidean geometry.
منابع مشابه
The Philosophical and Pedagogical Implications of a Computerized Diagrammatic System for Euclidean Geometry
This chapter briefly describes the computer proof system CDEG, version 2.0, a computerized formal system for giving diagrammatic proofs in Euclidean Geometry. The existence of such a computer proof system shows that geometric arguments that rely on diagrams can be made rigorous, and this fact has important philosophical implications for how we understand and teach geometry. The full details of ...
متن کاملCase Analysis in Euclidean Geometry: An Overview
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as the computer system CDEG. The computational complexity of determining whether or not a given diagram is satisfiable is also briefly discussed. 1 A Diagrammatic Formal System To begin with, consider Euclid’s first propos...
متن کاملCombining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a full-angle method prover to automatically produce diagram independent, human-readable proofs to theorems. Our system can then automatically generate novel diagrammatic proofs of the forward-chaini...
متن کاملDiagrams, Tensors and Geometric Reasoning
Geometry and in particular projective geometry (and its corresponding invariant theory) deals a lot with structural properties of geometric objects and their interrelations. This papers describes how concepts of tensor calculus can be used to express geometric invariants and how, in particular, diagrammatic notations can be used to deal with invariants in a highly intuitive way. In particular w...
متن کاملSpatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کامل